# -*- mode: snippet -*-
# name: Inductive
# key: indv
# uuid: indv
# --
Inductive $1 : $2 := $3 : $4.
